Hong Kong Institute for Monetary Research – Newsletter Thirty-third Issue (AprilHong Kong Institute for Monetary Research 香港金融研究中心

Source URL: www.hkimr.org

• Economy
• Finance
• Money
• International finance institutions
• Central bankers
• Hong Kong Monetary Authority
• International finance
• Bank of China
• Hong Kong dollar
• Norman Chan
• International Monetary Fund
• Basel II

Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California

Source URL: www.kestrel.edu

• Mathematical logic
• Logic
• Mathematics
• Model theory
• Automated theorem proving
• Predicate logic
• Semantics
• Logic programming
• Resolution
• First-order logic
• Skolem normal form
• Substitution

R&D activities Vehicle Communications R&D to connect vehicles to everything (V2X) We conduct research and development of technologies to connect the nextgeneration connected vehicles to everything else via radio or elect

Source URL: www.toyota-itc.com

• Technology
• Internet of things
• Vehicle telematics
• Transport
• Emerging technologies
• Economy of Japan
• Toyota
• Toyota Group
• Motorola
• Connected car
• Mobility as a service
• Carsharing

The AI Alignment Problem: Why It’s Hard, and Where to Start Eliezer Yudkowsky Machine Intelligence Research Institute May 5, 2016

Source URL: intelligence.org

• Artificial intelligence
• Technology
• Motivation
• Metaphysics
• Game theory
• Futurology
• Philosophy of artificial intelligence
• Choice modelling
• Utility
• Expected utility hypothesis
• Intelligent agent
• Friendly artificial intelligence

Implementing and Proving the TLS 1.3 Record Layer Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin Microsoft Research {antdl,fournet

Source URL: www.ieee-security.org

• Cryptography
• Secure communication
• Message authentication codes
• Transport Layer Security
• Cryptographic protocols
• Internet Standards
• Cipher suite
• Authenticated encryption
• Poly1305
• Galois/Counter Mode
• OpenSSL
• Key generation

13 PEW RESEARCH CENTER Topline questionnaire 2017 PEW RESEARCH CENTER’S AMERICAN TRENDS PANEL WAVE 28 August

Source URL: www.journalism.org

Predicting a Correct Program in Programming by Example Rishabh Singh(B) and Sumit Gulwani Microsoft Research, Redmond, USA

Source URL: rishabhmit.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Formal languages
• Scheme
• Regular expression
• Eval
• String
• Parameter
• Supervised learning

HONG KONG INSTITUTE FOR MONETARY RESEARCH A TASTE FOR DIM SUM: ANALYSING THE FINANCIAL DIFFUSION IN THE NEW OFFSHORE RENMINBI DEBT SECURITIES Tom Fong, Paul Mizen and Serafeim Tsoukas

Source URL: www.hkimr.org

• Economy
• Money
• Finance
• Renminbi
• RMB Qualified Foreign Institutional Investor
• Bond
• Bank of China
• Qualified Foreign Institutional Investor
• Internationalization of the renminbi
• Schengen bond

A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research

Source URL: csl.sri.com

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Logic in computer science
• Automated theorem proving
• NP-complete problems
• Electronic design automation
• Formal methods
• Conflict-driven clause learning
• Boolean satisfiability problem
• Clause
• Unit propagation

Pushing on a String: State-Owned Enterprises and Monetary Policy Transmission in China Hongyi Chen Hong Kong Institute for Monetary Research Ran Li

Source URL: www.hkimr.org

• Economy
• Money
• Monetary policy
• Macroeconomics
• State-owned enterprise
• Pushing on a string
• Central bank
• Ideology of the Communist Party of China